import static java.lang.System.*
import static java.util.Date.*
import static javax.swing.JOptionPane.*

final USER_HOME = new File(getProperty("user.home"))
final jEdit = Class.forName("org.gjt.sp.jedit.jEdit")
def propfile = new File("${USER_HOME}/.jedit/properties")
jEdit.openFile(view, propfile.path )
